-
1 inverse deduction
Математика: обратная дедукция -
2 inverse deduction
мат. -
3 inverse deduction
Англо-русский словарь по исследованиям и ноу-хау > inverse deduction
-
4 deduction
1) (логический) вывод, (умо)заключение2) матем. вычитаемое3) матем. вычитание4) дедукция, вывод от общего к частному5) вычет, скидка6) экон. удержание7) поправка ( к расчётной величине)•by deduction — по дедукции, от общего к частному
deduction by analogy — матем. вывод по аналогии
to draw a deduction — делать вывод, приходить к заключению
-
5 обратная дедукция
Большой англо-русский и русско-английский словарь > обратная дедукция
-
6 law
1) закон3) правило4) принцип•under the law — по закону, согласно закону, в соответствии с законом
- Biot law- converse law of double negation- cube law- distributive law of disjunction over conjunction - double law of the mean - fifth power law - first distributive law - first law of mean- gas law- idempotency law - infinitely decomposable law - infinitely divisible law - inverse sine law - inverse square law - law of addition of probability - law of alteration of quantifiers - law of associativity of disjunction - law of comparative judgment - law of constant angles - law of double complementation - law of equal significance - law of mass action - law of random function - law of random vector - law of requisite variety - law of right invertibility - law of statistical regularity - law of universal causation - law of universal gravitation - Newton's first law of motion - Newton's law of gravitation - Newton's second law of motion - Newton's third law of motion - normal law of composition - normal law of errors - one-sided modular law - probabilistic law - probability law - product law of probability - quadratic reciprocity law - second law of mean - second order law - similitude law- time law- weak law -
7 theorem
- analytical hierarchy theorem - arithmetical hierarchy theorem - closed range theorem - formally provable theorem - implicit function theorem - initial value theorem - integral representation theorem - local limit theorem - maximal ergodic theorem - mean value theorem - normal form theorem - ratio limit theorem - rational root theorem - second mean value theorem - theorem of consistency proofs - theorem of corresponding states - three line theorem - three series theorem - uniform convergence theorem - uniform ergodic theorem - uniform mean value theoremtheorem implies — из теоремы следует, что…
-
8 theorem
теорема
– altitude theorem
– Arzela-Ascoli theorem
– azygetic theorem
– binomial theorem
– compensation theorem
– conclusion of theorem
– conductor-ramification theorem
– converse of theorem
– deduction theorem
– distortion theorem
– duality theorem
– embedding theorem
– existence theorem
– expansion theorem
– gap theorem
– Karhunen-Loeve theorem
– localization theorem
– mean-value theorem
– minimax theorem
– Nagy-Faias theorem
– Nikodym theorem
– Plancherel theorem
– preparation theorem
– remainder theorem
– reverse-flow theorem
– sampling theorem
– sewing theorem
– shift theorem
– similarity theorem
– theorem os sines
– Theveni's theorem
– transference theorem
– uniqueness theorem
– Van Cittert-Zernike theorem
– Wiener-Paley theorem
central limit theorem — теорема о центральном пределе, теорема предельная центральная, центральная предельная теорема
Fermat's last theorem — Ферма великая теорема, последняя теорема Ферма
Nyquist-Kotelnikov-Shannon sampling theorem — <math.> теорема отсчетов Шеннона-Котельникова
theorem of corresponding states — теорема соответственных состояний
См. также в других словарях:
déduction — [ dedyksjɔ̃ ] n. f. • 1355; lat. deductio I ♦ Action de soustraire une somme d une autre. ⇒ décompte, défalcation, retranchement, soustraction. Faire la déduction des sommes déjà payées. Déduction faite des arrhes versées. Somme qui entre, vient… … Encyclopédie Universelle
Inverse function — In mathematics, if fnof; is a function from A to B then an inverse function for fnof; is a function in the opposite direction, from B to A , with the property that a round trip (a composition) from A to B to A (or from B to A to B ) returns each… … Wikipedia
Style de Fitch pour la deduction naturelle — Style de Fitch pour la déduction naturelle Le logicien Fitch a proposé une variante de la déduction naturelle où les démonstrations sont présentées de façon linéaire, renonçant à la structure arborescente proposée par Gentzen. Sommaire 1… … Wikipédia en Français
Style de Fitch pour la déduction naturelle — Le logicien Frederic Brenton Fitch (en) a proposé une variante de la déduction naturelle où les démonstrations sont présentées de façon linéaire, renonçant à la structure arborescente proposée par Gentzen. Sommaire 1 Introduction … Wikipédia en Français
LOGIQUES NON CLASSIQUES — La logique formelle «classique» (cf. histoire de la LOGIQUE, LOGIQUE MATHÉMATIQUE, théorie de la DÉMONSTRATION) est une théorie de l’inférence valide qui ne prend pas en considération le contenu sémantique de l’argument. Elle est une logique… … Encyclopédie Universelle
Function (mathematics) — f(x) redirects here. For the band, see f(x) (band). Graph of example function, In mathematics, a function associates one quantity, the a … Wikipedia
physical science, principles of — Introduction the procedures and concepts employed by those who study the inorganic world. physical science, like all the natural sciences, is concerned with describing and relating to one another those experiences of the surrounding… … Universalium
RAISONNEMENT — Le mot de raisonnement est ambigu. On ne dispose pas, pour ce qu’il recouvre, de deux vocables, comme c’est le cas pour le concept et le terme qui le désigne, pour le jugement et la proposition qui l’exprime. Un raisonnement, c’est d’abord une… … Encyclopédie Universelle
Outline of logic — The following outline is provided as an overview of and topical guide to logic: Logic – formal science of using reason, considered a branch of both philosophy and mathematics. Logic investigates and classifies the structure of statements and… … Wikipedia
Sherlock (série télévisée) — Pour les articles homonymes, voir Sherlock. Sherlock Titre original Sherlock Genre Série … Wikipédia en Français
Logique intuitionniste — L intuitionnisme est une position philosophique vis à vis des mathématiques proposée par le mathématicien hollandais Luitzen Egbertus Jan Brouwer comme une alternative à l approche dite classique. Elle a été ensuite formalisée, sous le nom de… … Wikipédia en Français